Keith McPherson Buchanan

MARK BUCHANAN Ubiquity

Unifying theories have a long history. Ever since antiquity, attempts have been made to explain a seemingly heterogeneous variety of phenomena by a few general principles. One of the most recent attempts in this vein is SelfOrganised Criticality (SOC), a new approach to complex systems, which has become one of the important areas of research in physics as well as in many other disciplines durin...

Re-Thinking James Buchanan

On Saturday, September 19th, local citizens, historians, Civil War enthusiasts, and the rare college student alike converged at the LancasterHistory.org Campus of History for the second day of the President James Buchanan National Symposium. The theme for the symposium was "The Worlds of Thaddeus Stevens and James Buchanan: Race, Gender, and Politics in the Civil War Era," thus it featured the ...

Keith Simmons

Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...

Sir George Buchanan

George Buchanan was born in the year 1881 in Myddleton Square, Islington, where his father was in medical practice. He received his early education at University College School, and subsequently at the adjacent college. During this period he worked under T. H. Key and de Morgan; he acquired much fondness for classics, notably the English classics, and he was awarded medals in biology and chemis...

Comments on Buchanan